Evolving Social Commitment Based Protocols Using MAPC
نویسندگان
چکیده
Currently, agent designers and programmers must work extensively to design, describe, test and implement the communication protocols used in multi agent systems. The design of the protocols is on an imperative basis. The potential exists for the designer and programmer to play a smaller role, though. This role would simply be to input a description of required activities, or to describe it declaratively. This paper describes MAPC (multi agent protocol creator) which makes it possible to evolve a protocol through the genetic programming of agent behaviours. These behaviours are capable of performing a communicationbased task. Once the behaviours have been evolved, it is fairly simple to distil the behaviours into a social commitment based communication protocol. MAPC is currently able to evolve simple protocols, and is in active development in order to make it possible to evolve more complex protocols. Keywords-evolving communication, evolving protocols, social commitments, genetic programming, CASA
منابع مشابه
Differentiation assays of bone marrow-derived Multipotent Adult Progenitor Cell (MAPC)-like cells towards neural cells cannot depend on morphology and a limited set of neural markers.
There are accumulating studies that report a neurogenic potential of bone marrow-derived cells both in vitro as well as in vivo. Most claims of neural "transdifferentiation" have based their conclusions on morphology and neural gene expression. Recently, doubts have been raised about the validity of both outcome parameters since non-neural cells can extend neurites and show aberrant neural gene...
متن کاملCommitment-based Agent Interaction in JaCaMo+
We present the JaCaMo+ framework for programming multiagent systems (MAS), where agents interact thanks to commitment-based interaction protocols. Commitment protocols are realized as artifacts that maintain a social state and notify to the participating agents those events that are relevant to the interaction. We discuss the advantages, like increased modularity and flexibility, that are broug...
متن کاملReal-time in vivo imaging of stem cells following transgenesis by transposition.
Previous studies have identified Sleeping Beauty transposons as efficient vectors for nonviral gene delivery in mammalian cells. However, studies demonstrating the usefulness of transposons as gene delivery vehicles into adult stem cells are lacking. Multipotent adult progenitor cells (MAPC) are nonhematopoietic stem cells with the capacity to form most, if not all, cell types of the body and a...
متن کاملModel Checking Commitment Protocols
We investigate the problem of verifying commitment protocols that are widely used to regulate interactions among cognitive agents by means of model checking. We present a new logic-based language to specify commitment protocols, which is derived from extending CTL∗ with modalities for social commitments and associated actions. We report on the implementation of the NetBill protocol—a motivated ...
متن کاملVerifying Conformance of Commitment Protocols via Symbolic Model Checking
Commitment protocols have been widely used to capture flexible and rich interactions among agents in multi-agent systems. Although there are several approaches specifying commitment protocols, none of them synthesize formal specification and automatic verification of these protocols within the same framework. This paper presents a new approach to automatically verify the conformance of commitme...
متن کامل